Buy Used and New Christian Urban Books

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings: 5674 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642033582

Format: Paperback (517 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later